| ||
1. | A Generalized QSQR Evaluation Method for Horn Knowledge Bases
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC Tom 13 Nr 4 r. 2012, str. 1-37 (Artykuł) Ewa Madalińska-Bugaj, Anh Linh Nguyen | |
2. | On designing the SONCA system
ARTIFICIAL INTELLIGENCE r. 2012, str. 9-36 (Artukuł konferencyjny web of science) Anh Linh Nguyen, Hung Son Nguyen | |
3. | Paraconsistent Reasoning for Semantic Web Agents
LNCS TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE Tom 7190 r. 2012, str. 36-55 (Artykuł) Andrzej Szałas, Anh Linh Nguyen | |
4. | Query-Subquery Nets
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 7653 Nr 1 r. 2012, str. 239-248 (Artykuł konferencyjny) Son Cao, Anh Linh Nguyen | |
5. | A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 6922 r. 2011, str. 572-581 (Artykuł konferencyjny) Anh Linh Nguyen | |
6. | Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics
JOURNAL OF APPLIED NON-CLASSICAL LOGICS Tom 21 Nr 1 r. 2011, str. 61-81 (Artykuł) Barbara Dunin-Kęplicz, Anh Linh Nguyen, Andrzej Szałas | |
7. | Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALCI
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 6804 r. 2011, str. 465-475 (Artykuł konferencyjny) Anh Linh Nguyen | |
8. | ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse
STUDIA LOGICA. AN INTERNATIONAL JOURNAL FOR SYMBOLIC LOGIC Tom 98 Nr 3 r. 2011, str. 387-428 (Artykuł) Anh Linh Nguyen, Andrzej Szałas | |
9. | On the Web Ontology Rule Language OWL 2 RL
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 6922 r. 2011, str. 254-264 (Artykuł konferencyjny) Son Cao, Anh Linh Nguyen, Andrzej Szałas | |
10. | A Framework for Graded Beliefs, Goals and Intentions
FUNDAMENTA INFORMATICAE Tom 100 Nr 1-4 r. 2010, str. 53-76 (Artykuł) Barbara Dunin-Kęplicz, Andrzej Szałas, Anh Linh Nguyen | |
11. | Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
FUNDAMENTA INFORMATICAE Tom 102 Nr 1 r. 2010, str. 97-113 (Artykuł) Andrzej Szałas, Anh Linh Nguyen | |
12. | Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
FUNDAMENTA INFORMATICAE Tom 104 Nr 4 r. 2010, str. 349-384 (Artykuł) Anh Linh Nguyen | |
13. | Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language
LECTURE NOTES IN COMPUTER SCIENCE Tom 6086 r. 2010, str. 710-720 (Artykuł konferencyjny) Anh Linh Nguyen | |
14. | Three-Valued Paraconsistent Reasoning for Semantic Web Agents
LECTURE NOTES IN COMPUTER SCIENCE Tom 6070 r. 2010, str. 152-162 (Artykuł) Andrzej Szałas, Anh Linh Nguyen | |
15. | Tractable Approximate Knowledge Fusion Using the Horn Fragment of Serial Propositional Dynamic Logic
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING Tom 51 Nr 3 r. 2010, str. 346-362 (Artykuł) Barbara Dunin-Kęplicz, Andrzej Szałas, Anh Linh Nguyen | |
16. | An Efficient Tableau Prover using Global Caching for the Description Logic ALC
FUNDAMENTA INFORMATICAE Tom 93 r. 2009, str. 273-288 (Artykuł) Anh Linh Nguyen | |
17. | Clausal Tableaux for Multimodal Logics of Belief
FUNDAMENTA INFORMATICAE Tom 94 Nr 1 r. 2009, str. 21-40 (Artykuł) Rajeev Gore, Anh Linh Nguyen | |
18. | ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC
LECTURE NOTES IN COMPUTER SCIENCE Tom 5796 r. 2009, str. 473-488 (Artykuł konferencyjny) Anh Linh Nguyen, Andrzej Szałas | |
19. | Modal Logic Programming Revisited
JOURNAL OF APPLIED NON-CLASSICAL LOGICS Tom 19 Nr 2 r. 2009, str. 167-181 (Artykuł) Anh Linh Nguyen | |
20. | Analytic Cut-free Tableaux for Regular Modal Logics of Agent Beliefs
LECTURE NOTES IN COMPUTER SCIENCE Tom 5056 r. 2008, str. 268-287 (Artykuł konferencyjny) Anh Linh Nguyen, Rajeev Gore | |
21. | Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity
LECTURE NOTES IN COMPUTER SCIENCE Tom 4670 r. 2007, str. 438-439 (Artykuł konferencyjny) Anh Linh Nguyen | |
22. | EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 4548 r. 2007, str. 133-148 (Artykuł konferencyjny) Rajeev Gore, Anh Linh Nguyen | |
23. | Foundations of Modal Deductive Databases
FUNDAMENTA INFORMATICAE Tom 79 Nr 1 r. 2007, str. 85-135 (Artykuł) Anh Linh Nguyen | |
24. | A Bottom-up Method for the Deterministic Horn Fragment of the Description Logic ALC
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 4160 r. 2006, str. 346-358 (Artykuł konferencyjny) Anh Linh Nguyen | |
25. | Multimodal Logic Programming
THEORETICAL COMPUTER SCIENCE Tom 360 r. 2006, str. 247-288 (Artykuł) Anh Linh Nguyen |